Data Mining / Metadata / Text Mining / Document processing / Real Time / Business Process / Real Time system / Document Structure / Word Processing / Database / Collaborative Editing / Local Network / Business Process / Real Time system / Document Structure / Word Processing / Database / Collaborative Editing / Local Network
Modal Logic / Verification and Validation / Temporal Logics / Real Time Systems / Temporal Constraints / Real Time / Optimal Reactive Power System / Specification Language / Real Time system / Metric / Temporal Logic / Real Time / Optimal Reactive Power System / Specification Language / Real Time system / Metric / Temporal Logic